Simple Network Protocol Simulation within Maude

Simple Network Protocol Simulation within Maude

New evaluation commands for Maude within Full Maude 1

Maude is able to deal with infinite data structures and avoid infinite computations by using strategy annotations. However, they can eventually make the computation of the normal form(s) of some input expressions impossible. We have used Full Maude to implement two new commands norm and eval which furnish Maude with the ability to compute (constructor) normal forms of initial expressions even w...

Simple Network Management Protocol (SNMP)

The SNMP development tool provides an environment for rapid agent prototyping and construction. With the following information provided, this tool is used to set up a running multilingual SNMP agent: a description of a Management Information Base (MIB) in Abstract Syntax Notation One (ASN.1) instrumentation functions for the managed objects in the MIB, written in Erlang. The advantage of using ...

Towards (constructor) normal forms for Maude within Full Maude

Maude is able to deal with infinite data structures and avoid infinite computations by using strategy annotations, that is, positive indices that indicate which positions can be evaluated. However, they can eventually make the computation of the normal form(s) of some input expressions impossible. In [6,7], we used Full Maude to implement two new commands norm and eval which furnish Maude with ...

Checking Protocol Compatibility using Maude

Checking compatibility of services accessed through their behavioural interfaces is a crucial issue in Service Oriented Computing which aims at building new systems from existing software services. In this paper, we consider a model of services which takes value passing and non-observable actions into account. We propose an approach to check in a unified way several compatibility notions betwee...